Dag Prawitz on Proofs and Meaning by Heinrich Wansing

Author:Heinrich Wansing
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

Kikuchi, K. (2006). On a local-step cut-elimination procedure for the intuitionistic sequent calculus. In Proceedings of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR’06), 4246 of LNCS (pp. 120–134). Springer.

Kreisel, G. (1971). A survey of proof theory II, In J. E. Fenstad (Ed.), Proceedings of the 2nd Scandinavian Logic Symposium, North-Holland (pp. 109–170).

Mayr, R., & Nipkow, T. (1998). Higher-order rewrite systems and their confluence. Theoretical Computer Science, 192, 3–29.CrossRef

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.